General Policies, Representations, and Planning Width

نویسندگان

چکیده

It has been observed that in many of the benchmark planning domains, atomic goals can be reached with a simple polynomial exploration procedure, called IW, runs time exponential problem width. Such problems have indeed bounded width: width does not grow number variables and is often no greater than two. Yet, while notion become part state- of-the-art algorithms like BFWS, there still good explanation for why so domains In this work, we address question by relating serialized to ideas generalized planning, where general policies aim solve multiple instances all at once. We show property admit optimal terms features are explicitly or implicitly represented domain encoding. The results extended larger class do optimal. study leads also new simple, meaningful, expressive language specifying serializations form policy sketches which used encoding control knowledge hand learning it from traces. use meaning theoretical illustrated through examples.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Width-Based Planning for General Video-Game Playing

IW(1) is a simple search algorithm that assumes that states can be characterized in terms of a set of boolean features or atoms. IW(1) consists of a standard breadth-first search with one variation: a newly generated state is pruned if it does not make a new atom true. Thus, while a breadth-first search runs in time that is exponential in the number of atoms, IW(1) runs in linear time. Variatio...

متن کامل

Iran’s Shift in Family Planning Policies: Concerns and Challenges

Iran’s significant success in implementing Family Planning (FP) during the past 25 years, has made it a role model in the world. The Total Fertility Rate (TFR) in Iran has dropped from 6.5 in 1960 to 1.6 in 2012, which is well below the targeted value of 2.2 for the country. Iran’s success story, however, did not merely root in the implementation of FP programs. In other words, families’ strong...

متن کامل

compactifications and representations of transformation semigroups

this thesis deals essentially (but not from all aspects) with the extension of the notion of semigroup compactification and the construction of a general theory of semitopological nonaffine (affine) transformation semigroup compactifications. it determines those compactification which are universal with respect to some algebric or topological properties. as an application of the theory, it is i...

15 صفحه اول

Width and Serialization of Classical Planning Problems

We introduce a width parameter that bounds the complexity of classical planning problems and domains, along with a simple but effective blind-search procedure that runs in time that is exponential in the problem width. We show that many benchmark domains have a bounded and small width provided that goals are restricted to single atoms, and hence that such problems are provably solvable in low p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the ... AAAI Conference on Artificial Intelligence

سال: 2021

ISSN: ['2159-5399', '2374-3468']

DOI: https://doi.org/10.1609/aaai.v35i13.17398